A manifesto for energy-aware software

According to recent estimates, computing and communications could account for 20% of energy usage globally by 2025.1 This trend shows no sign of slowing. The annual growth in power consumption of Internet-connected devices is 20%. Data centers alone are now accounting for more than 3% of global emissions. Even if you are not worried about this trend on the mega scale, you are likely concerned with the power consumption of the devices in your pocket, on your wrist, and in your ears. Software, hardware, and network attributes all contribute to power usage, but little attention has been given to this topic by the information and communications technology (ICT) community

Latte: Lightweight Aliasing Tracking for Java

Many existing systems track aliasing and uniqueness, each with their own trade-off between expressiveness and developer effort. We propose Latte, a new approach that aims to minimize both the amount of annotations and the complexity of invariants necessary for reasoning about aliasing in an object-oriented language with mutation. Our approach only requires annotations for parameters and fields, while annotations for local variables are inferred. Furthermore, it relaxes uniqueness to allow aliasing among local variables, as long as this aliasing can be precisely determined. This enables support for destructive reads without changes to the language or its run-time semantics. Despite this simplicity, we show how this design can still be used for tracking uniqueness and aliasing in a local sequential setting, with practical applications, such as modeling a stack

Diversidad y estacionalidad de las especies de tábanos (Diptera: Tabanidae) en Uruguay

Los tábanos (Diptera: Tabanidae) son insectos hematófagos que causan pérdidas directas e indirectas en la producción pecuaria y son importantes vectores de enfermedades relevantes para la salud humana y animal. Los objetivos de este trabajo fueron determinar la estacionalidad de las especies de tábanos presentes en una estación experimental de Tacuarembó y la diversidad de las especies presentes en diferentes departamentos del Uruguay. Durante 20 meses se realizaron capturas sistemáticas utilizando trampas Nzi y Malaise en dos ambientes distintos en una estación experimental de Tacuarembó. Mediante una estación climatológica se registraron la temperatura, la humedad y las precipitaciones. Además, se realizaron colectas de tábanos en forma no sistemática en establecimientos localizados en los departamentos de Paysandú, Tacuarembó y Colonia. Se recolectaron un total de 3666 tábanos identificándose 16 especies, tres de ellas por primera vez en Uruguay: Dasybasis ornatissima (Brèthes), Dasybasis missionum (Macquart), y Tabanus afinidad platensis Brèthes. Se identificó una especie sin descripción taxonómica previa (Tabanus sp.1). En los muestreos sistemáticos las especies más abundantes fueron Tabanus campestris, Tabanus aff. platensis y Dasybasis missionum, representando el 77.6% de las capturas. El ambiente mostró ser un factor importante relacionado a la cantidad de tábanos en el entorno, así como la temperatura media. La temporada de tábanos en Tacuarambó empezó en septiembre y terminó en mayo, con 3 picos evidentes, siendo el más importante el de verano. No se registraron capturas en invierno. Existieron variaciones en la prevalencia de las especies capturadas en diferentes regiones del país, evidenciando la necesidad de realizar nuevos muestreos en distintas zonas. Es necesario realizar más estudios para establecer la importancia económica de los tábanos para la producción pecuaria y como vectores mecánicos de enfermedades en el Uruguay

Diversidad y estacionalidad de las especies de tábanos (Diptera: Tabanidae) en Uruguay

Los tábanos (Diptera: Tabanidae) son insectos hematófagos que causan pérdidas directas e indirectas en la producción pecuaria y son importantes vectores de enfermedades relevantes para la salud humana y animal. Los objetivos de este trabajo fueron determinar la estacionalidad de las especies de tábanos presentes en una estación experimental de Tacuarembó y la diversidad de las especies presentes en diferentes departamentos del Uruguay. Durante 20 meses se realizaron capturas sistemáticas utilizando trampas Nzi y Malaise en dos ambientes distintos en una estación experimental de Tacuarembó. Mediante una estación climatológica se registraron la temperatura, la humedad y las precipitaciones. Además, se realizaron colectas de tábanos en forma no sistemática en establecimientos localizados en los departamentos de Paysandú, Tacuarembó y Colonia. Se recolectaron un total de 3666 tábanos identificándose 16 especies, tres de ellas por primera vez en Uruguay: Dasybasis ornatissima (Brèthes), Dasybasis missionum (Macquart), y Tabanus afinidad platensis Brèthes. Se identificó una especie sin descripción taxonómica previa (Tabanus sp.1). En los muestreos sistemáticos las especies más abundantes fueron Tabanus campestris, Tabanus aff. platensis y Dasybasis missionum, representando el 77.6% de las capturas. El ambiente mostró ser un factor importante relacionado a la cantidad de tábanos en el entorno, así como la temperatura media. La temporada de tábanos en Tacuarambó empezó en septiembre y terminó en mayo, con 3 picos evidentes, siendo el más importante el de verano. No se registraron capturas en invierno. Existieron variaciones en la prevalencia de las especies capturadas en diferentes regiones del País, evidenciando la necesidad de realizar nuevos muestreos en distintas zonas. Es necesario realizar más estudios para establecer la importancia económica de los tábanos para la producción pecuaria y como vectores mecánicos de enfermedades en el Uruguay

Data types as a more ergonomic frontend for Grammar-Guided Genetic Programming

Genetic Programming (GP) is an heuristic method that can be applied to many Machine Learning, Optimization and Engineering problems. In particular, it has been widely used in Software Engineering for Test-case generation, Program Synthesis and Improvement of Software (GI). Grammar-Guided Genetic Programming (GGGP) approaches allow the user to refine the domain of valid program solutions. Backus Normal Form is the most popular interface for describing Context-Free Grammars (CFG) for GGGP. BNF and its derivatives have the disadvantage of interleaving the grammar language and the target language of the program. We propose to embed the grammar as an internal Domain-Specific Language in the host language of the framework. This approach has the same expressive power as BNF and EBNF while using the host language type-system to take advantage of all the existing tooling: linters, formatters, type-checkers, autocomplete, and legacy code support. These tools have a practical utility in designing software in general, and GP systems in particular. We also present Meta-Handlers, user-defined overrides of the tree-generation system. This technique extends our object-oriented encoding with more practicability and expressive power than existing CFG approaches, achieving the same expressive power of Attribute Grammars, but without the grammar vs target language duality. Furthermore, we evidence that this approach is feasible, showing an example Python implementation as proof. We also compare our approach against textual BNF-representations w.r.t. expressive power and ergonomics. These advantages do not come at the cost of performance, as shown by our empirical evaluation on 5 benchmarks of our example implementation against PonyGE2. We conclude that our approach has better ergonomics with the same expressive power and performance of textual BNF-based grammar encodings

Avaliando programas de microcrédito e economia solidária do Banco do Nordeste

Two distinct experiences in the field of microfinance promoted by Banco do Nordeste do Brasil are evaluated here: (1) Crediamigo Program, oriented productive urban microcredit; and (2) Support Program for Solidary Productive Projects (PAPPS), under the assumptions of the solidarity economy. Therefore, the ethnographic approach is presented as an important methodology in the development of evaluation processes. It is pointed to the reach of subjects, relatively, in the same social group, but who present themselves as different audiences and receive attention, impacts and disparate investments on their lives and trajectories, according to the programs in which they are inserted. The results map how these two policies dialogue while differing and distancing themselves in focus and weight given the economic, social and political dimensions in the Brazilian Northeast. By way of conclusion, the logic followed by the programs is evident; the impacts on the lives of those reached; and what qualities, limits and possibilities of these programs.Duas experiências distintas no campo das microfinanças promovidas pelo Banco do Nordeste do Brasil são aqui avaliadas: (1) Programa Crediamigo, de microcrédito urbano produtivo orientado; e (2) Programa de Apoio a Projetos Produtivos Solidários (PAPPS), nos pressupostos da economia solidária. Para tanto, o enfoque etnográfico é apresentado como importante metodologia no desenvolvimento de processos avaliativos. Aponta-se para o alcance de sujeitos, relativamente, no mesmo grupo social, porém que se apresentam como públicos diferentes e recebem atenções, impactos e investimentos dispares sobre suas vidas e trajetórias, de acordo com os programas em que se inserem. Os resultados mapeiam como essas duas políticas, dialogam ao mesmo tempo em que diferem e se distanciam em foco e peso dados às dimensões econômicas, sociais e políticas no Nordeste brasileiro. À guisa de conclusão, evidencia-se a lógica seguida pelos programas; os impactos proporcionados na vida dos alcançados; e que qualidades, limites e possibilidades desses programas

Emprego, estratificação e desigualdade

The relationships between the social division of labor and social stratification are regarded as the key explanatory nexus of recent changes in income distribution in Brazil. The paper highlights the role of class divisions at the level of the job structure, to which are added status groups, segmentation factors and educational credentials. The determinants in question capture changes in the socially organized dimensions of the distribution of rewards. Reductions in the spatial, sectorial and educational inequalities are acknowledged. The inequalities in social status wane, showing contradictory signals. The class conditionings on income remain robust, but show differentiated and nuanced effects amidst the reductions in aggregate income inequality.As relações entre divisão social do trabalho e estratificação social são consideradas como nexos explicativos-chave das mudanças recentes na distribuição de renda no Brasil. Destaca-se o papel das divisões de classe ao nível da estrutura do emprego, ao qual se agregam grupos de status, fatores de segmentação e credenciais educacionais. Os determinantes em questão captam alterações em dimensões socialmente organizadas da distribuição das recompensas. Constatam-se reduções nas desigualdades espaciais, setoriais e educacionais. As desigualdades de status social caem mostrando sinais contraditórios. Os condicionamentos de classe da renda se mantêm robustos, mas apresentando efeitos diferenciados e nuançados em meio às reduções na desigualdade agregada de renda

La contabilidad bancaria: análisis de su implementación en el Banco Popular de Ahorro = The bank accounting: analysis of its implementation in Banco Popular de Ahorro

Analisa, através de sua contextualização, a implementação da contabilidade bancária no Banco Popular de Ahorro, em Bayamo, como parte das instituições financeiras do Banco Central de Cuba

Espécies de Aspergillus produtoras de aflatoxina, na região Araraquarense, SP

Species of the genus Aspergillus, mainly A. flavus strains, occuring in the Araraquarense region (State of São Paulo, Brazil), were isolated and their ability to produce aflatoxin was studied. The isolation was conducted following routine methods in microbiology. The cultures were obtained from samples of peanuts collected in the 'rainy season" and in the "dry season". After the isolation the cultures were classified as follows: 102 A. flavus; 4 A. oryzae var. effusus; 2 A. oryzae; 2 A. parasiticus and 1 A. ochraceus. During the work, 4 cultures were lost, remaining 107 cultures. The cultures were then tested in their ability to produce aflatoxin, which was extracted from the mycelium and from the culture medium. The metabolites were separated by thin layer chromatography using the solvent benzene-ethyl acetate-ethanol and quantified under long wave U. V. light. From 107 cultures of Aspergillus only 33 (31%) produced aflatoxin; seven of those produced it only in the culture medium, while two, only in the mycelium. The production of aflatoxin was much higher in the mycelium than in the culture medium; some of them produced very high quantities, up to 400 p.p.m. of B1 and 300 p.p.m. of G1. From the 33 cultures producing aflatoxin, 32 belonged to the A. flavus species and only one to the A. oryzae. Previous studies when high yields of aflatoxin G1 as related to B1 were reported in that region, were confirmed in the present work.No presente trabalho foram isoladas, e estudadas quanto à produção de aflatoxina, espécies do gênero Aspergillus, principalmente as linhagens de A. flavus ocorrentes na região Araraquarense. o isolamento, seguindo métodos usuais em microbiologia, foram executados em amostras de amendoim, provenientes de duas épocas do ano, ou seja, da safra das «águas» e da safra da «seca». Após o isolamento as culturas foram classificadas. Dessa classificação pôde-se obter: 102 culturas de A. flavus; 4 culturas de A. oryzae; var. effusus; 2 culturas de A. oryzae; 2 culturas de A. parasiticus e 1 cultura do Grupo A. ochraceus. Durante os trabalhos 4 culturas foram perdidas, dessa forma foram estudadas realmente 107 culturas. Todas as culturas, a seguir, foram estudadas para a verificação de sua habilidade em produzir aflatoxina. A extração da toxina foi feita no micélio e no meio de cultura, usando-se técnicas padrões. A separação dos metabólitos foi feita em placas de camada delgada de silicagel, usando-se como solvente o benzeno-acetato de etila-etnol e quantificadas sob luz ultra-violeta. Analisando-se as 107 culturas de Aspergillus, notou-se que apenas 33 delas (31%) produziram aflatoxina, sendo que destas, 4 produriram apenas no meio de cultura, enquanto que duas produziram aflatoxina apenas no micélio. Observando-se ainda o comportamento das culturas que produziram aflatoxina, verificou-se que a produção da toxina no micélio foi muito maior que no meio da cultura, algumas produzindo elevadas quantidades (até 400 ppm de B1 e 300 ppm de G1). 3) Uma percentagem razoável de amostras (65% na série A e 70% na série B) produziram aflatoxina em pelo menos uma das colônias isoladas. 4) Algumas colônias produziram elevada quantidade de aflatoxina, chegando a 400 ppm de Bi e 300 ppm de d. 5) Uma baixa proporção do total das colônias (31%) produziu aflatoxina. 6) Dentre as demais espécies de Aspergillus apenas uma colônia de A. oryzae produziu aflatoxina e mesmo assim, só no meio de cultura. 7) Não houve correlação entre a produção de aflatoxina no meio de cultura e no micélio (r = 0,027), porém houve uma correlação fortemente positiva entre a produção de aflatoxina Bx e Gx no meio de cultura (r = 0,988) e também no micélio (r = 0,826)